00100 (DE NONDUP (U S) (COND((OR (ATOM U) (MEMBER U S)) S) 00200 (T ((LAMBDA (W) ((LAMBDA (X) (COND ((MEMBER X W) W) 00300 (T (CONS X W)))) (CONS (LOOKUP (CAR U) W) (LOOKUP (CDR U) W)))) 00400 (NONDUP (CAR U) (NONDUP (CDR U) S)))))) 00500 00600 (DE LOOKUP (U S) (COND ((NULL S) U) ((EQUAL U (CAR S)) (CAR S)) 00700 (T (LOOKUP U (CDR S))))) 00800 00900 (DE FIXA (U) (LOOKUP U (NONDUP U NIL)))